/*
 * Number.h
 *
 *  Created on: 17.04.2012
 *      Author: Eugene Kornykhin
 */

#ifndef NUMBER_H_
#define NUMBER_H_

#include "../PElement.h"

class Number: public PElement {
public:
	Number(int);
	virtual ~Number();

	int getValue() const;

	virtual void execute(Interpreter &);

	virtual PolizPosition next_position_after(PolizPosition) const;
	virtual bool isHalt() const;
	virtual Number *clone(const Poliz &) const;
	string toString() const;

private:
	int value;
};

#endif /* NUMBER_H_ */
